Properties that characterize LOGCFL
نویسندگان
چکیده
منابع مشابه
Spectral Properties of Operators That Characterize
It is well known that the identity is an operator with the following property: if the operator, initially defined on an n-dimensional Banach space V , can be extended to any Banach space with norm 1, then V is isometric to (n) ∞ . We show that the set of all such operators consists precisely of those with spectrum lying in the unit circle. This result answers a question raised in [5] for comple...
متن کاملComputing LOGCFL certi#cates
The complexity class LOGCFL consists of all languages (or decision problems) which are logspace reducible to a context-free language. Since LOGCFL is included in AC, the problems in LOGCFL are highly parallelizable. By results of Ruzzo (JCSS 21 (1980) 218), the complexity class LOGCFL can be characterized as the class of languages accepted by alternating Turing machines (ATMs) which use logarit...
متن کاملSuzuki-type fixed point theorems for generalized contractive mappings that characterize metric completeness
Inspired by the work of Suzuki in [T. Suzuki, A generalized Banach contraction principle that characterizes metric completeness, Proc. Amer. Math. Soc. 136 (2008), 1861--1869], we prove a fixed point theorem for contractive mappings that generalizes a theorem of Geraghty in [M.A. Geraghty, On contractive mappings, Proc. Amer. Math. Soc., 40 (1973), 604--608]an...
متن کاملThe equivalence of theories that characterize ALogTime
A number of theories have been developed to characterize ALogTime (or uniform NC, or just NC), the class of languages accepted by alternating logtime Turing machines, in the same way that Buss’s theory S12 characterizes polytime functions. Among these, ALV ′ (by Clote) is particularly interesting because it is developed based on Barrington’s theorem that the word problem for the permutation gro...
متن کاملDiscovering Viewpoint-Invariant Relationships That Characterize Objects
Using an unsupervised learning procedure, a network is trained on an ensemble of images of the same two-dimensional object at different positions, orientations and sizes. Each half of the network "sees" one fragment of the object, and tries to produce as output a set of 4 parameters that have high mutual information with the 4 parameters output by the other half of the network. Given the ensemb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1991
ISSN: 0022-0000
DOI: 10.1016/0022-0000(91)90020-6